προτασιακός

προτασιακός
-ή, -ό, Ν
1. αυτός που ανήκει ή αναφέρεται στην πρόταση
2. φρ. α) «προτασιακός λογισμός» — το απλούστερο και βασικότερο σύστημα τής λογικής, που αφορά μη αναλύσιμες από την άποψη τής δομής τους προτάσεις και τους συνδυασμούς στους οποίους αυτές υπεισέρχονται
β) «προτασιακές μεταβλητές» — τα σύμβολα p, q, r ή κατά συνθήκην άλλα, που μπορεί να θεωρηθεί ότι αντιπροσωπεύουν μη καθορισμένες προτάσεις ή ότι η παρουσία τους στους τύπους σημαδεύει τις θέσεις στις οποίες μπορεί να τοποθετηθούν προτάσεις, δηλαδή θεωρούμενες μόνον ως προς τις δυνατές αληθοτιμές τους
γ) «προτασιακός τύπος»
(μαθ. -λογ.) πρόταση, υπό συντακτική έννοια, στην οποία περιέχονται μία ή περισσότερες μεταβλητές, ακαθόριστα σύμβολα, και η οποία γίνεται λογική πρόταση όταν στη θέση τών μεταβλητών τεθούν στοιχεία από ένα σύνολο τελείως καθορισμένο, λ.χ. από το σύνολο τών πραγματικών αριθμών ή από το σύνολο τών φυσικών αριθμών.

Dictionary of Greek. 2013.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • εξίσωση — Κάθε προτασιακός τύπος της μορφής φ(x) = ψ(x), όπου φ και ψ συμβολίζουν συναρτήσεις της αυτής μεταβλητής x, ενώ οι τιμές τους ανήκουν στο ίδιο σύνολο, έστω Σ. Το σύμβολο x ονομάζεται: ο άγνωστος της ε. Αν Ε είναι το σύνολο που διατρέχει η… …   Dictionary of Greek

  • λογική — I (Μαθημ.). Μαθηματική επιστήμη, τα θεμέλια της οποίας βρίσκονται στο έργο του Αριστοτέλη Όργανον (βλ. λ. λογική [φιλοσοφική επιστήμη]). Ο μαθηματικός Μπουλ εισήγαγε στη λ. αυτή τον λογισμό, με τον οποίο αποφεύγονται πολλά προβλήματα που υπάρχουν …   Dictionary of Greek

  • τελεστής — Όνομα μυθολογικών και ιστορικών προσώπων. 1. Κρητικός, πατέρας της ωραίας Ιάνθης την οποία αγάπησε παράφορα ο Ίφις από τη Φαιστό. Η θεά τους όμως, από αντιζηλία, μεταμόρφωσε την Ιάνθη σε έφηβο. 2. Ο τελευταίος από τους Βακχίδες, βασιλιάς της… …   Dictionary of Greek

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”